#ifndef __VPT_H__
#define __VPT_H__

#include <global/header/mmu.h>

extern volatile ptab_entry_t vpt[];
extern volatile pdir_entry_t vpd[];

#endif
